build: Don't introspect ShellMenu

It is now only used internally by ShellApp to track remote actions,
so there's no need to expose it to javascript code.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/624

diff --git a/src/meson.build b/src/meson.build
index 9813bc4efc2f9935ef48279e94e4a3fe893dde75..97a5a796cab827e8e303f94fccc1cb6d136fd50e 100644 (file)
--- a/src/meson.build
+++ b/src/meson.build
@@ -79,20 +79,6 @@ libshell_menu = library('gnome-shell-menu',
   install: true
 )
 
-libshell_menu_gir = gnome.generate_gir(libshell_menu,
-  sources: libshell_menu_sources,
-  nsversion: '0.1',
-  namespace: 'ShellMenu',
-  identifier_prefix: 'Gtk',
-  symbol_prefix: 'gtk',
-  includes: ['Gio-2.0', libst_gir[0]],
-  dependencies: [mutter_dep],
-  extra_args: ['--quiet'],
-  install_dir_gir: pkgdatadir,
-  install_dir_typelib: pkglibdir,
-  install: true
-)
-
 libshell_menu_dep = declare_dependency(link_with: libshell_menu)
 
 libshell_public_headers = [
@@ -222,7 +208,6 @@ endif
 
 libshell_gir_includes += [
   libgvc_gir[0],
-  libshell_menu_gir[0],
   libst_gir[0]
 ]